Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

Let N be a transitive model of ZFC such that ωN ⊂ N and P(R) ⊂ N. Assume that both V and N satisfy "the core model K exists." Then KN is an iterate of K. i.e., there exists an iteration tree J on K such that J has successor length and $\mathit{M}_{\infty}^{\mathit{J}}=K^{N}$. Moreover, if there exists an elementary embedding π: V → N then the iteration map associated to the main branch of J equals π ↾ K. (This answers (...) a question of W. H. Woodin, M. Gitik, and others.) The hypothesis that P(R) ⊂ N is not needed if there does not exist a transitive model of ZFC with infinitely many Woodin cardinals. (shrink)

Erscheint anlasslich des 15. Weltkongresses der Internationalen Vereinigung fur Rechts- und Sozialphilosophie (IVR) vom 18. bis 24. August 1991 in Gottingen und enthalt eine Selbstdarstellung der deutschen Sektion der IVR. Die Autoren berichten uber ihre eigene theoretische Position oder uber neuere Diskussionszusammenhange, die ihnen wichtig erscheinen. Aus dem Inhalt: K. Adomeit: Menschenrechte und Rechtsphilosophie u H. Albert: Erkenntnis, Recht und soziale Ordnung u R. Alexy: Idee und Struktur eines vernunftigen Rechtssystems u O. Ballweg: Analytische Rhetorik als juristische Grundlagenforschung u R. (...) Dreier: Zur gegenwartigen Diskussion des Verhaltnisses von Recht und Moral u W. Eichhorn: Wege und Irrwege einer Transformation u M. Frommel: Mannliche Gerechtigkeitsmathematik versus weiblicher Kontextualismus? u H. Garrn: Zur rechtspraktischen Bedeutung einer Theorie der juristischen Rhetorik u G. Haney: Das Widerspruchsvolle des Rechtsbegriffs u W. Hassemer: Rechtsphilosophie, Rechtswissenschaft, Rechtspolitik - am Beispiel des Strafrechts u A. Kaufmann: 45 Jahre erlebte Jahre Rechtsphilosophie u H. Klenner: Die ontologische und gnoseologische Dimension der Sein/Sollen-Problematik u U. Klug: Multidimensionale Rechtsphilosophie u H.-J. Koch/H. Russmann: Juristische Methodenlehre und analytische Philosophie u M. Kriele: Die demokratische Weltrevolution u K. Kuhl: Rehabilitierung und Aktualisierung des kantischen Vernunftrechts u E.-J. Lampe: Moderne Rechtsanthropologie u K.A. Mollnau: Vom Beginn der Niedergangsjurisprudenz in der DDR u U. Neumann: Sprachphilosophische Ansatze in der neueren Rechtsphilosophie u u.a. (Franz Steiner 1991). (shrink)

It is often said to-day that mathematics is nothing but an extension or development of logic; indeed, the identity of logic and pure mathematics is alleged so confidently by persons whose mathematical attainments entitle them to consideration when they talk about the subject-matter of mathematics, as to be in danger of being ranked with the truths that an educated man should accept on the authority of the specialist. Yet a little reflection might at least make one hesitate. For whatever else (...) may be said about logic, it is generally allowed to study thinking. Some would say merely that it studies inference; but inference is thinking. Now the mathematician thinks and infers, but he does not study the activity of thinking and inferring; and a study of that activity would never make the discoveries credited to the mathematicians. (shrink)

First published in 1938. The aim of this book is to expound Kant’s _Critique of Judgement _by interpreting all the details in the light of what Kant himself declares to be his fundamental problem. _A Commentary on Kant’s Critique of Judgement _provides an excellent introduction to Kant’s third critique, and will be of interest to students of philosophy.

An English language translation accompanies the original Greek text of Aristotle's book about the nature of the state, constitutions, revolutions, democracy, and oligarchy.

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

We prove the following result which is due to the third author. Let [Formula: see text]. If [Formula: see text] determinacy and [Formula: see text] determinacy both hold true and there is no [Formula: see text]-definable [Formula: see text]-sequence of pairwise distinct reals, then [Formula: see text] exists and is [Formula: see text]-iterable. The proof yields that [Formula: see text] determinacy implies that [Formula: see text] exists and is [Formula: see text]-iterable for all reals [Formula: see text]. A consequence is (...) the Determinacy Transfer Theorem for arbitrary [Formula: see text], namely the statement that [Formula: see text] determinacy implies [Formula: see text] determinacy. (shrink)

We prove the following result which is due to the third author. Let [Formula: see text]. If [Formula: see text] determinacy and [Formula: see text] determinacy both hold true and there is no [Formula: see text]-definable [Formula: see text]-sequence of pairwise distinct reals, then [Formula: see text] exists and is [Formula: see text]-iterable. The proof yields that [Formula: see text] determinacy implies that [Formula: see text] exists and is [Formula: see text]-iterable for all reals [Formula: see text]. A consequence is (...) the Determinacy Transfer Theorem for arbitrary [Formula: see text], namely the statement that [Formula: see text] determinacy implies [Formula: see text] determinacy. (shrink)

'Uncertainty and chance' is a subject with a broad span, in that there is no academic discipline or walk of life that is not beset by uncertainty and chance. In this book a range of approaches is represented by authors from varied disciplines: natural sciences, mathematics, social sciences and medical sciences. At one extreme, this volume is concerned with the foundations of probability. At the other extreme, we have scholars who acknowledge the concept of chance and uncertainty but do not (...) cope with it by means of systematic measurement or quantative analysis. (shrink)

"First published by Oxford University Press, 1916."--Title page verso.

The significance of the dating of Enmann's Kaisergeschichte in the controversy which has long surrounded the Historia Augusta is common knowledge to all scholars who have more than a nodding acquaintance with the period. Enmann himself concluded that the KG ended with or shortly after Diocletian's accession. This was a necessary hypothesis for Enmann in 1884 because the H.A. had clearly used the KG and the self-proclaimed authorship and dating of the former were generally accepted. None the less in Enmann's (...) opinion the resemblances between Victor and Eutropius continued into the sole reign of Constantius II down to the Battle of Strasbourg in 357 and Enmann was compelled to ascribe this to a ‘continuation’ of the KG. (shrink)

One area of language research that has received a great deal of attention, both theoretical and empirical, is the use of anaphoric expressions. Such expressions can be thought of as serving two functions: the primary function is to refer back to a referent from previous discourse, and the secondary, but no less important, function is to help provide discourse coherence and structure. Third person pronouns such as he or she are anaphoric expressions par excellence, but fuller anaphoric expressions, including demonstrative (...) and definite noun phrases (NPs) such as that woman and the woman are also used in natural discourse. In this chapter we shall focus primarily on issues concerning definite NP anaphor resolution, and in particular we shall examine the interaction of two factors that are related to the identification of antecedents: the focus status of the antecedent and the semantic relationship between the antecedent and the anaphor (including semantic overlap). After presenting these factors, we will discuss one particular approach to anaphor resolution, Almor's (1999) Informational Load Hypothesis (ILH), and present three experiments that examined the findings presented in Almor (1999). The results of these experiments will lead us to consider in more detail the secondary, discourse-structuring function of anaphoric expressions. (shrink)

In assessing the value of any historical work it is necessary for the investigator to undertake the often frustrating and tedious task of Quellenforschung. In the case of the De Caesaribus the first substantial attempts began in Germany in 1873 and 1874 with the appearance of two important studies by A. Enmann and A. Cohn. Enmann sought to explain the mass of verbal similarities, numerous errors and shared idiosyncrasies to be found in Victor's De Caesaribus, Eutropius' Breviarium 7–10, and parts (...) of the Historia Augusta by postulating a common source which has subsequently come to be known as the Kaisergeschichte. He was so convinced by his findings that he stated , ‘Victor und Eutrop es beide als Haupt – wenn nicht als einzige Quelle benutzt haben’. Working quite independently Cohn's examination of the first eleven chapters led him to conclude that from the beginning of Augustus' sole reign to the death of Domitian Victor, Eutropius and the Epitomator followed a common source which he entitled Suetonius auctus, an account excerpted from Suetonius with some new material added. Enmann, however, had already described the Kaisergeschichte's early chapters in this way and the two were readily identified. One major problem remained. The traditional date of the completion of the HA was still believed to be 305/6; consequently if the K.G. had been used by its authors then the K.G. must have been written by that year. Nevertheless notable similarities between Victor and Eutropius continued apparently till 357 and Enmann therefore suggested a continuation of the K.G. until that date. (shrink)